<html>
<head><meta charset="utf-8"><title>meeting 2020-10-21 · t-compiler/wg-rfc-2229 · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/index.html">t-compiler/wg-rfc-2229</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.202020-10-21.html">meeting 2020-10-21</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="214144477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%202020-10-21/near/214144477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.202020-10-21.html#214144477">(Oct 22 2020 at 05:15)</a>:</h4>
<p>Agenda:</p>
<ul>
<li>
<p>Using inference instead of tuple caused an (ICE)[https://github.com/rust-lang/rust/issues/77993]. Potential fix <a href="https://github.com/sexxi-goose/rust/pull/26/files">https://github.com/sexxi-goose/rust/pull/26/files</a>. Issue was there was a <code>TyKind::Error(DelaySpanBug)</code></p>
</li>
<li>
<p>Using inference instead of tuple improvements in places but also a 3% regression in wg-grammar<br>
<a href="https://github.com/rust-lang/rust/pull/77873#issuecomment-714091371">https://github.com/rust-lang/rust/pull/77873#issuecomment-714091371</a>. From the comment it seems like they are fine with us doing nothing. But I'm curious about the why? I kind of suspect the added obligation.</p>
</li>
<li>
<p>One of the things that the warning when the incomplete feature gate is used is the tracking issue. I think it should point either to the project board, and/or get some descriptive summary.</p>
</li>
<li>
<p>Do we update closure_origin just yet to use a Place, or do we start using Place for capture related stuff at once, in the next set of PRs</p>
</li>
</ul>
<p>Progress update: </p>
<ul>
<li>
<p>We made progress on the logging, and on improving expr_id for pointing to discriminant instead of pattern</p>
</li>
<li>
<p>Capture Analysis is mostly cleaned up and commented.</p>
</li>
</ul>



<a name="214208234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%202020-10-21/near/214208234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.202020-10-21.html#214208234">(Oct 22 2020 at 16:00)</a>:</h4>
<p>Just running a couple mins behind, should be on the call in 2 mins</p>



<a name="214208398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%202020-10-21/near/214208398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.202020-10-21.html#214208398">(Oct 22 2020 at 16:01)</a>:</h4>
<p>ok I'm a bit late too</p>



<a name="214208868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%202020-10-21/near/214208868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.202020-10-21.html#214208868">(Oct 22 2020 at 16:04)</a>:</h4>
<p>I'm here</p>



<a name="214209050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%202020-10-21/near/214209050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.202020-10-21.html#214209050">(Oct 22 2020 at 16:06)</a>:</h4>
<p>coming now</p>



<a name="214336354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%202020-10-21/near/214336354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.202020-10-21.html#214336354">(Oct 23 2020 at 16:40)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  can you upload the meeting from yesterday?</p>



<a name="214354264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%202020-10-21/near/214354264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.202020-10-21.html#214354264">(Oct 23 2020 at 19:11)</a>:</h4>
<p><span class="user-mention" data-user-id="281950">@Aman Arora</span> yep</p>



<a name="214354918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%202020-10-21/near/214354918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.202020-10-21.html#214354918">(Oct 23 2020 at 19:18)</a>:</h4>
<p>thanks <span aria-label="smile" class="emoji emoji-1f642" role="img" title="smile">:smile:</span></p>



<a name="214355991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%202020-10-21/near/214355991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.202020-10-21.html#214355991">(Oct 23 2020 at 19:28)</a>:</h4>
<p><span class="user-mention" data-user-id="281950">@Aman Arora</span> <a href="https://youtu.be/eQJi0OB1SKQ">https://youtu.be/eQJi0OB1SKQ</a></p>
<div class="youtube-video message_inline_image"><a data-id="eQJi0OB1SKQ" href="https://youtu.be/eQJi0OB1SKQ"><img src="https://i.ytimg.com/vi/eQJi0OB1SKQ/default.jpg"></a></div>



<a name="214356403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%202020-10-21/near/214356403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.202020-10-21.html#214356403">(Oct 23 2020 at 19:32)</a>:</h4>
<p>thanks <span aria-label="smile" class="emoji emoji-1f642" role="img" title="smile">:smile:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>